大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Trustworthy Global Computing [electronic resource] : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

0
索取号：
作者：Bruni、 Roberto.、Sassone、 Vladimiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Large-Scale Scientific Computing [electronic resource] : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers

0
索取号：
作者：Lirkov、 Ivan.、Margenov、 Svetozar.、Wa艣niewski、 Jerzy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Business Modeling and Software Design [electronic resource] : First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers

0
索取号：
作者：Shishkov、 Boris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Perspectives of Systems Informatics [electronic resource] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

0
索取号：
作者：Clarke、 Edmund.、Virbitskaite、 Irina.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Reversible Computation [electronic resource] : Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers

0
索取号：
作者：Vos、 Alexis.、Wille、 Robert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Soft Computing in Information Communication Technology [electronic resource] : Volume 2

0
索取号：
作者：Luo、 Jia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

0
索取号：
作者：Croitoru、 Madalina.、Rudolph、 Sebastian.、Wilson、 Nic.、Howse、 John.、Corby、 Olivier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Artificial Intelligence and Soft Computing [electronic resource] : 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012, Proceedings, Part II

0
索取号：
作者：Rutkowski、 Leszek.、Korytkowski、 Marcin.、Scherer、 Rafa艂.、Tadeusiewicz、 Ryszard.、Zadeh、 Lotfi A.、Zurada、 Jacek M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Artificial Intelligence and Soft Computing [electronic resource] : 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012, Proceedings, Part I

0
索取号：
作者：Rutkowski、 Leszek.、Korytkowski、 Marcin.、Scherer、 Rafa艂.、Tadeusiewicz、 Ryszard.、Zadeh、 Lotfi A.、Zurada、 Jacek M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Mobile Computing, Applications, and Services [electronic resource] : Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers

0
索取号：
作者：Gris、 Martin.、Yang、 Guang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advanced Computing, Networking and Security [electronic resource] : International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers

0
索取号：
作者：Thilagam、 P. Santhi.、Pais、 Alwyn Roshan.、Chandrasekaran、 K.、Balakrishnan、 N.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Global Trends in Computing and Communication Systems [electronic resource] : 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part I

0
索取号：
作者：Krishna、 P. Venkata.、Babu、 M. Rajasekhara.、Ariwa、 Ezendu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Theorie and Applications of Formal Argumentation [electronic resource] : First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers

0
索取号：
作者：Modgil、 Sanjay.、Oren、 Nir.、Toni、 Francesca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Mobile and Ubiquitous Systems: Computing, Networking, and Services [electronic resource] : 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers

0
索取号：
作者：S茅nac、 Patrick.、Ott、 Max.、Seneviratne、 Aruna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Soft Computing in Information Communication Technology [electronic resource] : Volume 1

0
索取号：
作者：Luo、 Jia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Mathematical Modeling in Mechanics of Granular Materials [electronic resource]

0
索取号：
作者：Sadovskaya、 Oxana.、Sadovskii、 Vladimir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.